#! /bin/bash

./mcsl basictests/$1.mcsl -t
ocamlc -I ../lib/ $1.ml
